Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems (IFIP Advances in Information and Communication Technology)
by Carlos Delgado Kloos,Eduard Cerny
ISBN 13: 9780412788109
Format: Hardcover (364 pages) Publisher: Springer Published: 30 Apr 1997
Save for later
SVA: The Power of Assertions in SystemVerilog
by Eduard Cerny,Surrendra Dudani,John Havlicek,Dmitry Korchemny
ISBN 13: 9783319071381
Format: Hardcover (609 pages) Publisher: Springer Published: 16 Sep 2014
ISBN 13: 9783319331096
Format: Paperback (609 pages) Publisher: Springer Published: 23 Aug 2016
SystemVerilog Verification Methodology Manual,
by Janick Bergeron,Eduard Cerny,Alan Hunter,Andy Nightingale
ISBN 13: 9780387255385
Format: Illustrated (520 pages) Publisher: Springer Published: 09 Nov 2005
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
by Eduard Cerny,Bachir Berkane,Pierre Girodias
ISBN 13: 9780792383017
Format: Illustrated (236 pages) Publisher: Springer Published: 31 Oct 1998